Common knowledge does not have the Beth property
نویسنده
چکیده
Common knowledge is an essential notion for coordination among agents. We show that the logic of common knowledge does not have the Beth property and thus it also lacks interpolation. The proof we present is a variant of Maksimova’s proof that temporal logics with ‘the next’ do not have the Beth property. Our result also provides an explanation why it is so difficult to find ‘nice’ deductive systems for common knowledge.
منابع مشابه
Nonexpansive mappings on complex C*-algebras and their fixed points
A normed space $mathfrak{X}$ is said to have the fixed point property, if for each nonexpansive mapping $T : E longrightarrow E $ on a nonempty bounded closed convex subset $ E $ of $ mathfrak{X} $ has a fixed point. In this paper, we first show that if $ X $ is a locally compact Hausdorff space then the following are equivalent: (i) $X$ is infinite set, (ii) $C_0(X)$ is infinite dimensional, (...
متن کاملMarin Genetic Resources in Areas Beyond National Jurisdiction is a Subject in Intellectual Property Rights
The discovery of marine genetic resources has led to increase of the number of international maritime patent claims .Given the unique characteristics of these organisms, the genetic resources derived from these organisms have great potential in the medical field and for research and development in the fields of antioxidants, fungal treatments, AIDS, cancer, tuberculosis, malaria And antibiotics...
متن کاملOn Periodic Shadowing Property
In this paper, some properties of the periodic shadowing are presented. It is shown that a homeomorphism has the periodic shadowing property if and only if so does every lift of it to the universal covering space. Also, it is proved that continuous mappings on a compact metric space with the periodic shadowing and the average shadowing property also have the shadowing property and then are chao...
متن کاملStrong convergence theorem for solving split equality fixed point problem which does not involve the prior knowledge of operator norms
Our contribution in this paper is to propose an iterative algorithm which does not require prior knowledge of operator norm and prove a strong convergence theorem for approximating a solution of split equality fixed point problem for quasi-nonexpansive mappings in a real Hilbert space. So many have used algorithms involving the operator norm for solving split equality fixed point problem, ...
متن کاملLIMIT AVERAGE SHADOWING AND DOMINATED SPLITTING
In this paper the notion of limit average shadowing property is introduced for diffeomorphisms on a compact smooth manifold M and a class of diffeomorphisms is given which has the limit average shadowing property, but does not have the shadowing property. Moreover, we prove that for a closed f-invariant set Lambda of a diffeomorphism f, if Lambda is C1-stably limit average shadowing and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 109 شماره
صفحات -
تاریخ انتشار 2009